Lamberov Lev D. «The Concept of Proof in the Context of a Type-Theoretic Approach, II: Proofs of Theorems» // Tomsk State University Journal of Philosophy, Sociology and Political Science 2019. №49 C.34-41
Romanov Alexandr S., Rezanova Zoya I., Meshcheryakov Roman V. «Selecting text features relevant for authorship attribution» // Tomsk State University Journal of Philology 2013. №6 (26) C.38-52
Lamberov Lev D. «The concept of proof in the context of a type-theoretic approach, I: Proof of computer program correctness» // Tomsk State University Journal of Philosophy, Sociology and Political Science 2018. №46 C.49-57
Pavlov D.I. «DISCLOSURE OF CONTENT LINES OF “PRESENTATION OF INFORMATION” AND “INFORMATION PROCESSES” AT THE LEVEL OF PRIMARY EDUCATION» // Open and distance education 2018. №1(69) C.56-68
Hiryanova I.S. «Net case on the course Computer science in elementary school» // Open and distance education 2011. №1 (41) C.63-68
Yarkova Elena N., Yarkova Elena N. «The Origins and Meaning of Speculative Realism: On the Problem of the New Ontologies Genesis» // Tomsk State University Journal 2021. №471 C.93-100
Kosova Ekaterina Sergeevna, Bertsun Vladimir Nikolaevich «About the first center of higher mathematical education in Siberia» // Tomsk State University Journal of Mathematics and Mechanics 2017. №46 C.102-112
Gafuanov Yaroslav Yu., Podnebesova Galina B. «The Formation of Professional ICT-Competence in Teaching Programming to Future Teachers of Informatics and IT-Experts» // Tomsk State University Journal 2020. №455 C.175-182
